Согласно верификатору, у модели –  61 достижимое состояние

В  LTS  для  программы  –  61 достижимых состояний

Количество состояний совпало потому что и я и uppaal правильно посчитали их количество.